Derived Algebraic Geometry XIV: Representability Theorems
ثبت نشده
چکیده
2 Properties of Moduli Functors 22 2.1 Nilcomplete, Cohesive, and Integrable Functors . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.2 Relativized Properties of Functors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.3 Finiteness Conditions on Functors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.4 Moduli of Spectral Deligne-Mumford Stacks . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
منابع مشابه
The representability hierarchy and Hilbert’s 13th problem
We propose the representability hierarchy of algebraic functions over C, which relates classic questions like the unsolvability of the quintic by radicals to unresolved questions like Hilbert’s 13th problem in its original algebraic form. We construct the theory of algebraic functions via both superpositions and algebraic geometry and then justify the known positions of the universal algebraic ...
متن کاملFiniteness theorems for the Picard objects of an algebraic stack
We prove some finiteness theorems for the Picard functor of an algebraic stack, in the spirit of SGA6, exp. XII and XIII. In particular, we give a stacky version of Raynaud’s relative representability theorem, we give sufficient conditions for the existence of the torsion component of the Picard functor, and for the finite generation of the Néron-Severi groups or of the Picard group itself. We ...
متن کاملFrom Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry
This paper describes the formalization of the arithmetization of Euclidean geometry in the Coq proof assistant. As a basis for this work, Tarski’s system of geometry was chosen for its well-known metamathematical properties. This work completes our formalization of the two-dimensional results contained in part one of [SST83]. We defined the arithmetic operations geometrically and proved that th...
متن کاملGrothendieck's Existence Theorem in Analytic Geometry and Related Results
We state and prove several kinds of analytification theorems of formal objects (such as coherent sheaves and formal complex spaces) which are in the spirit of Grothendieck's algebraization theorem in [EGA, III]. The formulation of the results was derived from deformation theory and especially M. Artin's work on representability of functors. The methods of proof depend heavily on a deeper study ...
متن کاملOn the Representation Theory for Cylindric Algebras
The main purpose of this paper is to give some new sufficient conditions for the representability of infinite dimensional cylindric algebras. We also discuss certain problems and results in the representation theory reported on by Henkin and Tarski in [5]. In general we adopt the notation of [5]. § 1 contains some additional notation, the statement of a representation theorem of Henkin and Tars...
متن کامل